Sequential consistency - PDFSEARCH.IO - Document Search Engine

Sequential consistency
Results: 51

#	Item
41	From: AAAI Technical Report SS[removed]Compilation copyright © 2003, AAAI (www.aaai.org). All rights reserved. STCSP: A Representation Model for Sequential Patterns Aomar Osmani Laboratoire LIPN-CNRS UMR7030 99, Avenue Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 06:27:26 Local consistency Function Sequence Subsequence Entailment Spatial–temporal reasoning Elementary mathematics Mathematics Logic
42	Extreme availability and self-healing data with CRDTs Uwe Friedrichsen (codecentric AG) – NoSQL matters – Dublin, 4. September 2014 Add to Reading List Source URL: 2014.nosql-matters.org Language: English - Date: 2014-09-04 10:42:52 Transaction processing NoSQL Consistency model Distributed data store Eventual consistency Strong consistency Two-phase commit protocol Replication Sequential consistency Data management Computing Data
43	The weakest reasonable memory model by Matteo Frigo Laurea, Universit`a di Padova[removed]Dottorato di Ricerca, Universit`a di Padova (1996) Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:49 Computer science Applied mathematics Transaction processing Models of computation Formal methods Parallel computing Consistency model Algorithm Sequential consistency Computing Theoretical computer science Computability theory
44	Polynomial-time Algorithms for Enforcing Sequential Consistency in SPMD Programs with Arrays Wei-Yu Chen1 , Arvind Krishnamurthy2 , and Katherine Yelick1 1 Computer Science Division, University of California, Berkeley Add to Reading List Source URL: upc.lbl.gov Language: English - Date: 2010-05-06 00:14:41 Parallel computing Cycle detection SPMD Compiler optimization Algorithm Shortest path problem Floyd–Warshall algorithm Graph Connected component Mathematics Graph theory Theoretical computer science
45	TESTING MEMORY CONSISTENCY OF SHARED-MEMORY MULTIPROCESSORS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF ELECTRICAL ENGINEERING Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2008-02-26 14:40:30 Concurrent computing Computer architecture Cache coherence Transactional memory Linearizability Consistency model Algorithm Software bug Sequential consistency Computing Transaction processing Concurrency control
46	A constraint-based method for solving sequential manipulation planning problems Tom´as Lozano-P´erez and Leslie Pack Kaelbling Abstract— In this paper, we describe a strategy for integrated task and motion planning b Add to Reading List Source URL: lis.csail.mit.edu Language: English - Date: 2014-07-18 21:54:29 Artificial intelligence Constraint satisfaction problem Motion planning Constraint satisfaction Local consistency Kinematics Backjumping Backtracking Constraint programming Software engineering Computer programming
47	On Consistency of Encrypted Files Alina Oprea1 and Michael K. Reiter2 1 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2006-07-31 20:53:46 Computer architecture Cryptographic software Special purpose file systems Concurrency control Consistency model File system Encrypting File System Sequential consistency Data integrity Computing Transaction processing Data management
48	On Consistency of Encrypted Files Alina Oprea∗ Michael K. Reiter† March 2005 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2006-06-29 07:27:04 Data management Cryptographic software Special purpose file systems Concurrency control Consistency model File system Data integrity Linearizability Sequential consistency Computing Transaction processing Computer architecture
49	FORMALIZATION AND VERIFICATION OF SHARED MEMORY Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-01-05 10:38:15 Theoretical computer science Concurrent computing Formal methods Consistency model Transaction processing Sequential consistency Actor model Parallel computing Formal verification Computing Data Logic in computer science
50	PDF Document Add to Reading List Source URL: www.hpl.hp.com Language: English - Date: 2007-10-21 18:30:28 Computer memory Transaction processing Compiler construction Concurrency Programming language design Consistency model Sequential consistency Memory model Linearizability Computing Software engineering Computer architecture